51![Iterated LQR Smoothing for Locally-Optimal Feedback Control of Systems with Non-Linear Dynamics and Non-Quadratic Cost Jur van den Berg Abstract— This paper introduces the novel concept of LQR smoothing, which is the L Iterated LQR Smoothing for Locally-Optimal Feedback Control of Systems with Non-Linear Dynamics and Non-Quadratic Cost Jur van den Berg Abstract— This paper introduces the novel concept of LQR smoothing, which is the L](https://www.pdfsearch.io/img/cef1e59e6df6ae0dba925f7b4b75210e.jpg) | Add to Reading ListSource URL: arl.cs.utah.eduLanguage: English - Date: 2014-03-21 00:14:55
|
---|
52![Aspects of Predicative Algebraic Set Theory I: Exact Completion (DRAFT) Benno van den Berg & Ieke Moerdijk September 24, Aspects of Predicative Algebraic Set Theory I: Exact Completion (DRAFT) Benno van den Berg & Ieke Moerdijk September 24,](https://www.pdfsearch.io/img/cc44083dd9affc292dd7763f99e17ab9.jpg) | Add to Reading ListSource URL: staff.fnwi.uva.nlLanguage: English - Date: 2011-03-21 06:42:22
|
---|
53![2011 IEEE International Conference on Robotics and Automation Shanghai International Conference Center May 9-13, 2011, Shanghai, China Reciprocal Collision Avoidance with Acceleration-Velocity Obstacles Jur van den Berg 2011 IEEE International Conference on Robotics and Automation Shanghai International Conference Center May 9-13, 2011, Shanghai, China Reciprocal Collision Avoidance with Acceleration-Velocity Obstacles Jur van den Berg](https://www.pdfsearch.io/img/fe194432995a6f70338a176d9043c2be.jpg) | Add to Reading ListSource URL: arl.cs.utah.eduLanguage: English - Date: 2013-07-12 18:56:55
|
---|
54![Derived rules for predicative set theory: an application of sheaves Benno van den Berg & Ieke Moerdijk November 16, 2011 Abstract We show how one may establish proof-theoretic results for constructive Derived rules for predicative set theory: an application of sheaves Benno van den Berg & Ieke Moerdijk November 16, 2011 Abstract We show how one may establish proof-theoretic results for constructive](https://www.pdfsearch.io/img/977a3787856f7ec7e181628beb47742b.jpg) | Add to Reading ListSource URL: staff.fnwi.uva.nlLanguage: English - Date: 2011-11-16 08:30:32
|
---|
55![Aspects of Predicative Algebraic Set Theory II: Realizability Benno van den Berg & Ieke Moerdijk June 20, 2008 Dedicated to Jean-Yves Girard on the occasion of his 60th birthday Aspects of Predicative Algebraic Set Theory II: Realizability Benno van den Berg & Ieke Moerdijk June 20, 2008 Dedicated to Jean-Yves Girard on the occasion of his 60th birthday](https://www.pdfsearch.io/img/b48a73f5c2468a1dab4016095e1c8ef8.jpg) | Add to Reading ListSource URL: staff.fnwi.uva.nlLanguage: English - Date: 2011-03-21 06:42:22
|
---|
56![The International Journal of Robotics Research http://ijr.sagepub.com/ Motion planning under uncertainty using iterative local optimization in belief space Jur van den Berg, Sachin Patil and Ron Alterovitz The International Journal of Robotics Research http://ijr.sagepub.com/ Motion planning under uncertainty using iterative local optimization in belief space Jur van den Berg, Sachin Patil and Ron Alterovitz](https://www.pdfsearch.io/img/78f5d4030bd5a5831132a1c231233c53.jpg) | Add to Reading ListSource URL: arl.cs.utah.eduLanguage: English - Date: 2013-07-12 18:56:55
|
---|
57![EXTENDING OBSTRUCTIONS TO NONCOMMUTATIVE FUNCTORIAL SPECTRA BENNO VAN DEN BERG AND CHRIS HEUNEN Abstract. Any functor from the category of C*-algebras to the category of locales that assigns to each commutative C*-algebr EXTENDING OBSTRUCTIONS TO NONCOMMUTATIVE FUNCTORIAL SPECTRA BENNO VAN DEN BERG AND CHRIS HEUNEN Abstract. Any functor from the category of C*-algebras to the category of locales that assigns to each commutative C*-algebr](https://www.pdfsearch.io/img/400b5d7725753abfa314a64d82b39982.jpg) | Add to Reading ListSource URL: staff.fnwi.uva.nlLanguage: English - Date: 2014-07-09 08:21:04
|
---|
58![Nonstandard functional interpretations and categorical models Amar Hadzihasanovic∗ and Benno van den Berg† 29 January 2014 Abstract Recently, the second author, Briseid and Safarik introduced nonstandard Dialectica, Nonstandard functional interpretations and categorical models Amar Hadzihasanovic∗ and Benno van den Berg† 29 January 2014 Abstract Recently, the second author, Briseid and Safarik introduced nonstandard Dialectica,](https://www.pdfsearch.io/img/0b7d340a1a92b532daa410eaaf2b61de.jpg) | Add to Reading ListSource URL: staff.fnwi.uva.nlLanguage: English - Date: 2014-01-29 05:43:59
|
---|
59![A Statistical Similarity Measure for Aggregate Crowd Dynamics Stephen J. Guy⇤ UNC-Chapel Hill Jur van den Berg University of Utah A Statistical Similarity Measure for Aggregate Crowd Dynamics Stephen J. Guy⇤ UNC-Chapel Hill Jur van den Berg University of Utah](https://www.pdfsearch.io/img/25cc369760f6ebb48932b656f9058ae8.jpg) | Add to Reading ListSource URL: arl.cs.utah.eduLanguage: English - Date: 2013-07-12 18:56:55
|
---|
60![Slides for a course on model theory Benno van den Berg Utrecht University, Fall Slides for a course on model theory Benno van den Berg Utrecht University, Fall](https://www.pdfsearch.io/img/af6cb8f784cd4f8d9875d973db3a615b.jpg) | Add to Reading ListSource URL: staff.fnwi.uva.nlLanguage: English - Date: 2012-12-21 08:13:20
|
---|